Lemma 2.1.5 (Whitehead)
Let be a unital C-star-Algebra and let . Then
In .
It follows in particular that in
Proof:
From Lemma 2.1.3 we get that Hence The other claims follow in a similar way.